konungen , danske kronprinsen,