Democritus, Christianus, 1673-1734