Gentlemen: These are German-made "pump" wrenches. Does anyone have any idea who the manufacturer might have been? two more to follow: