försiggick den 23 dennes med stor och gripande högtidlighet i kapellet i » Vor Frelsers Gravlund » i Kristiania.