Drehdocke Bedeutung

Drehdocke

[Achtung: Schreibweise von 1811] Die Drehdocke, plur. die -n, in den Bohrmühlen, ein Docke, welche den Bohrer einschließet, der sich in derselben herum drehet.
Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009131_6_0_981

---