A ball plunger is headed with a steel ball and its stroke is the displacement of the ball. A spring plunger has a pin-shaped front section and the displacement stroke of the pin is used for such purposes as temporary positioning and indexing of workpieces.