Former East German rights activist Joachim Gauck to be president: Merkel