Gervinus var en af de sjuprofessorer