Greffendorff, E., active 1685-1718, alias Grevendorff; Saxe-Gotha major-general in Dutch service