
Werkzeug zum Bohren von Löchern in Gesteine; früher von Hand betätigt, heute fast immer mit Bohrmaschine oder Bohrhammer, die elektrisch oder durch Druckluft betrieben werden. Bohrer.
Gefunden auf
https://www.wissen.de//lexikon/gesteinsbohrer
Keine exakte Übereinkunft gefunden.