kungens kröning i Norge.