anlände konungen i tisdags till Kristiania.