P. H. Wilson says that Charlemagne was crowned as Holy Roman Emperor by the pope on Christmas Day in 800AD, because it was a Sunday and so therefore exactly 7000 years since the creation of Earth. Can anyone unpack this a little for me?