Medan Otto krönes i domkyrkan med stor prakt,