[1540] Die Drêhdocke, plur. die -n, in den Bohrmühlen, eine Docke, welche den Bohrer einschließet, der sich in derselben herum drehet.