So wählen die Deutschen ihren Bundespräsidenten