[1254] 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.