[1119]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.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 1. Leipzig 1793, S. 1119.