The history of the Holy Roman Empire, from Charlemagne’s coronation in 800 through its demise in 1806, and onward to German ...