Universitetet i Christiania firade den 23 dennes en sorgehögtid,