konungen inträffat i Kristiania.