anländer konungen till Kristiania.