He was crowned King of the Romans at Aachen several days later, on 9 March 1152.
Ia dimahkotai sebagai Raja Romawi di Aachen beberapa hari kemudian, pada tanggal 9 Maret 1152.