De esta forma, fue coronado el 27 de mayo de 1257 por el arzobispo de Colonia en Aquisgrán como "rey de los Romanos".