German theologian, orientalist, professor in Utrecht (1692-1756)