Kristiania universitets senior , professorn Kristofer Holmboe , har i dessa dagarinlemnat