äterwänder konungen till Kristiania.