Bundespräsidenten-Stichwahl muss wiederholt werden