Hellige Romerske Rige af Tysk Nation, se Det Tysk-romerske Rige.