GrĂ¼ter, Petrus, latiniste hollandais