När konungen kom från Kristiania.