Den formelle opprettelsen av Det hellige romerske riket av den tyske nasjon (på norsk kalt Det tysk-romerske riket) skjedde ikke før i neste århundre. Tittelen Karl den store tok allerede i 800, vitner om tanken om et romersk keiserrike.