@SimonWoods Oh, good one, I like that.

The thing about the Holy Roman Empire is: it was neither holy, Roman nor an empire. It was mainly marketing hype.