Konungen har afrest till Kristiania.