“This agglomeration which was called and which still calls itself the Holy Roman Empire was neither holy, nor Roman, nor an empire.”