That is false. It was called the "Holy Roman Empire" from the 13th century until 1512. The name was changed in 1512 to "Holy Roman Empire of the German Nation". But even in many official texts after 1512 they still left out the latter part.

https://en.wikipedia.org/wiki/Holy_Roman_Empire#Name_and_general_perception

[–] YourPrivatHater@ani.social 6 points 3 months ago (1 children)

Hm... The more you know. I was told that it was always that.

[–] Skua@kbin.earth 15 points 3 months ago (2 children)

There are earlier instances in which rulers of the HRE would refer to themselves as "Holy Roman Emperor and king of the Germans" as separate titles (usually along with a whole bunch more, as was the way of powerful feudal rulers). When they did this usually depended on who the intended audience was. Speaking to the king of France and don't much like him? Assert your position as heir to the Roman Empire and therefore above him. Trying to get on good terms with the Byzantine emperor, who considers your claim to the Roman Empire to be a usurpation of his own title? Probably call yourself king of the Germans.

[–] Successful_Try543 7 points 3 months ago

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.

[–] dharmacurious@slrpnk.net 5 points 3 months ago* (last edited 3 months ago)

as was the way of powerful feudal rulers

1000010793