Gesteinsbohrer

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 .