Thomasius, Christian, 1655-1728