konungen i Kristiania förliden onsdagkl.