Donald Trump wird zum 45. US-Präsidenten gewählt.