Sollte man nicht vielleicht so langsam über eine Verschiebung auf Wahlleute nachdenken? Spätestens bei der diesjährigen Berichterstattung zur US-Wahl scheint mir die Bezeichnung Wahlmänner deutlich seltener verwendet worden zu sein. Zumal Wahlleute nun mal auch einfach "korrekter" ist. -- Icodense 23:35, 24. Nov. 2020 (CET)