Giunto a Milano, quasi in compenso delle discordie che andava sedando, fu coronato re di Lombardia dal Papa di quel tempo detto Giovanni XII, di poi insignito a Roma della dignità imperiale, che d'allora in poi non fu più disgiunta dalla corona di Germania.

 Giunto a Milano, quasi a compenso delle discordie, che andava sedando, fu coronato re di Lombardia da Giovanni XII, Papa di quel {205 [205]} tempo.