Joachim Gauck wird Bundespräsident