World | Sun Feb 19, 2012 6:59pm EST

Former rights activist Gauck to become German president