[disgu]

Are you being serious?

The Roman Empire covered Germany and it covered that specific part of Germany (Aschaffenburg) as well.

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

[mkl]

Wrong link, I think: "Not to be confused with Roman Empire, Western Roman Empire, or Byzantine Empire."

The actual Roman Empire seems to have only just reached Aschaffenburg.

[mullen]

The "Holy Roman Empire" was neither Holy, Roman or an Empire.