docent Tuxen lör Kristiania ,prof.