"Dindorf" . "Guilielmus" . "Guilielmus Dindorf" . . . .