— Den norske historieskrifvaren , f. d.professorn