— Nå , hvad heter kungen i Norge då?