Mentén ; professorn vid universitetet i Kristiania m . m.