konungen i Kristiania förliden fredag,