Holy Roman Empire, the varying complex of lands in western and central Europe ruled over first by Frankish and then by German kings