konungen och kronprinsen till Kristiania.