professorsbefattningen i historia , samt docenten i allmön historia fil.