Question: what was the name of the frankish king who formed the holy roman empire
Answer: Charlemagne