professor Hagerup ( ist.