Online-Bibliothek

Bohrklippe, die

[1119] Die Bohrklippe, plur. die -n, eine Zange der Bergleute, die Stücke eines abgebrochenen Bohrers damit aus dem Bohrloche zu ziehen. S. Klippe.