Bosch Wrenches (2), vintage, tiny, not sure what for, used

Description

Here are a couple of TINY tools from the horde of auto repair shop items I’ve been selling off of late.  These are a couple of BOSCH wrenches, but not sure what they are for.  ONE is a double ended open end wrench, marked with the lettering DELCO     BOSCH-SIMMS   R.B.-S.E.V.   The other is an open ended wrench on one end and a box wrench on the other, marked FOR BOSCH.  NO sizes marked on them.  Probably for adjusting power tools of some sort.  Photos show fronts and rears, plus closeups of the lettering, with a penny in the shots for size reference.  The longer one is about 3 1/2 inches long, while the shorter is about 2 3/4 inches long.  Priced to sell, with only actual First Class Package shipping charged to the winner!