hvad heter kungen i Norge då?