Amtliches Wahlergebnis für die Bundespräsidentenwahl