t. f. extra ordinarieprofessorn