tiden skulle konungen inträffa i Kristiania.