The German presidential election: What does Joachim Gauck stand for?