The saying goes that the HRE is not Holy, not Roman and not an Empire. Is it accurate to say that it was not an empire? How do historians define "Empire", and how does the HRE fall short from that definition?