anlände konungen till Christiania.