Washington (dpa) - Donald Trump ist vom Gremium der Wahlleute zum US-Präsidenten gewählt worden. Deutlich mehr als die nötigen 270 der 538 Wahlleute aus 50 Bundesstaaten und der Bundeshauptstadt Washington stimmten für Trump, berichteten mehrere US-Medien am Montag übereinstimmend.