What polity was established in 962, with the crowning of Otto I in Rome by Pope John XII?
Holy Roman Empire