Well it was officially known as the Holy Roman Empire of the German Nation. It was largely a clarification for those who would mistake it with the original Roman Empire or just don't know Medieval history.