Bohrklippe

[814] Bohrklippe, im Bergbau eine Zange, womit zerbrochene Bohrer aus dem Bohrloche genommen werden.

Quelle:
Pierer's Universal-Lexikon, Band 19. Altenburg 1865, S. 814.
Lizenz:
Faksimiles:
Kategorien:
Ähnliche Einträge in anderen Lexika