From Professor + -lein (diminutive suffix).
Professorlein n (strong, genitive Professorleins, plural Professorlein)