Bohrer

Bohrer, s. Bohren des Geschützes, auch Erdbohrer, Anfangsbohrer, Abbohrer, Mauerbohrer, Steinbohrer; zum Sprengen des Gesteins, s. Minieren.

Quelle: Rumpf, H. F.: Allgemeine Real-Encyclopädie der gesammten Kriegskunst (Berl. 1827)

Glossar militärischer Begriffe