876
Sorry, Deutsch people
(discuss.tchncs.de)
A laid back community for good news, pictures and general discussions among people living in Europe.
Other European communities
Other casual communities:
Language communities
Cities
Countries
These actually were two different titles. The king of the Germans was elected from the twelve Prince-electors (Kurfürsten). After Otto the Great, it became tradition that the current King of the Germans became crowned by the bishop of Rome aka. the pope, as Roman Emperor. However, at least in the beginning this was no automatism. Thus, not all German kings became Roman Emperor.