konungen gudstjensten i domkyrkan.