What if the Holy Roman Empire survived, was huge, and also had an Electoral College?