Die Hohldocke, plur. die -n, bey den Drechslern, eine Docke, diejenigen Dinge, welche feiner als gewöhnlich bearbeitet werden sollen, darein zu spannen. Entweder, weil diejenigen Dinge, welche hohl ausgearbeitet werden sollen, in dieselbe gespannet werden müssen, oder auch, weil das Hauptstück derselben eine hohle, d.i. mit einem runden Loche versehene eiserne Platte ist.
http://www.zeno.org/Adelung-1793. 1793–1801.
Docke (3), die — 3. Die Docke, plur. die n, Diminut. das Döckchen, Oberd. das Döcklein, überhaupt eine jede kurze dicke Säule. 1. Eigentlich, da dieses Wort in verschiedenen Handwerken und Lebensarten sehr häufig gebraucht wird, gewisse kurze dicke Säulen zu… … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
Lünette [1] — Lünette (Setzstock, Brille, Hilfsdocke), s.v.w. Lagerbock für Stützung von Werkstücken und Werkzeughaltern (Bohrstangen) bei Drehbänken, Bohrbänken und Schleifmaschinen, um ein Ausbiegen durch Eigengewicht oder durch den Druck des Werkzeugs zu… … Lexikon der gesamten Technik
