konungen och kronprinsen till Norge.