- Bohrstampfer, der
Der Bohrstampfer, des -s, plur. ut nom. sing. ein Stück Eisen, mit welchem das Loch, welches in einen Stein, der gesprenget werden soll, gebohret worden, zugestampfet wird, damit das Schießpulver nicht vorwärts wirke.
http://www.zeno.org/Adelung-1793. 1793–1801.