The Holy Roman Empire isn't holy, isn't Roman, and isn't really an empire.