Johann Michael von Benckendorff — Baltic German military personnel (1720-1775)