Before revision: In a decree following the Diet of Cologne in 1512, the name was changed to the Holy Roman Empire of the Germanic Nation (, ), a form first used in a document in 1474.
After revision: In a decree following the Diet of Cologne in 1512, the name was changed to the Holy Roman Empire of the German Nation"" (, ), a form first used in a document in 1474.