A History of Mediaeval Political Theory in the West: The Theories of the Relation of the Empire and the Papacy from the Tenth Century to the Twelfth