I'm confused. Was Charlemagne an emperor of the Holy Roman Empite, or did he just rule the land that eventually became the HRE with Francia?