All correct at that time.

The Emperor was crowned by the Pope - hence the "holy"

The Emperor was the guardian of Rome - hence the "roman"

Germans, Italians, Burgundians, flemish, bohemians, and so on were livng in it - that made it an Empire back then, hence the "empire"

Thank you for coming to my TED talk about why you should not take quotes out of their historical context.