Kings, politics, and the right order of the world in German historiography c. 950-1150