Sind alle hochschullehrer professoren genannt