В 800 поп присвоил Шарлемейну титул Imperator Augustus -- такой же как и у последних Римских императоров -- Augustus. После его смерти, по гавелкинду территория была поделена на несколько частей. В 962 Отто Великий (запад) объявил себя наследником империи -- дата считающаяся основанием Святой Римской Империи.
B этот период, это государство называется как Romana Respublica так и Romanum Imperium. При Фридриxе I Барбароссe употребление названия Romanum Imperium происходит чаще (1152, 1162). Сочетание Sacrum Imperium употребляется в 1161, 1164, 1174, 1184, 1186. Некоторое время фразы Sacrum Imperium и Romanum Imperium употребляются как взаимозаменяющие. Только в 1254 можно встретить Sacrum Romanum Imperium.
Теперь насчёт германской нации -- историки в течении 17-го века спорили насчёт трактовки Sacri Romani Imperii ac celeberrimae nationis Germanicae/dem heiligen Reiche und deutscher Nation. Споры шли насчёт того, считается ли Германия империей, или же Империя распологается в Германии. Компромисом стало использование Imperium Romano-Germanicum.
Не подскажете, был ли спор насчет названия разрешен в позднее время?