https://www.dict.cc/german-english/Wahl+des+Pr%C3%A4sidenten.html