A History of Charles the Great, Charlemagne