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.