anlände konungen i tisdags kl. 10,45 till Kristiania.