Martini, Matthias, théologien et philologue allemand