Translation of "Electoral college" in German

Most people have heard of the Electoral College during presidential election years.
Die meisten Menschen haben vom Wahlmännergremium bei den Präsidentschaftswahlen gehört.
TED2020 v1

Between 1919 and 1988, the president was elected indirectly by an electoral college made up of electors chosen by voters in the presidential election.
Zwischen 1919 und 1988 wurde der Präsident indirekt durch ein Wahlmännergremium gewählt.
Wikipedia v1.0

But what exactly is the Electoral College?
Aber was genau ist das Wahlmännergremium?
TED2020 v1

Trump and his running mate, Mike Pence, were formally elected by the Electoral College on December 19, 2016.
Trump und Mike Pence wurden am 19. Dezember 2016 vom Wahlkollegium formell gewählt.
WikiMatrix v1

The Electoral College met on December 3.
Das Wahlmännergremium selbst trat am 3. Dezember zusammen.
WikiMatrix v1

Instead we use something called the "Electoral College"
Stattdessen nutzen wir das sogenannte "Wahlkollegium"
QED v2.0a

Gebhard's eventual defeat changed the balance of power in the Electoral College of the Holy Roman Empire.
Gebhards endgültige Niederlage veränderte das Kräftegleichgewicht im Kurfürstenkollegium im Heiligen Römischen Reich.
WikiMatrix v1

Balloting in the electoral college is a highly complicated process.
Die Abstimmung im Wahlmännergremium ist äußerst kompliziert.
ParaCrawl v7.1

Which is fortress is controlled by which player is summarized on the Electoral College.
Wer welche Festung kontrolliert, wird im Kurfürstenkollegium angezeigt.
ParaCrawl v7.1