Der Polier-Stahl
, [
803-804] des -es, plur. die Stähle, bey
den Kunstdrechslern, ein Stahl, d. i. stählernes Werkzeug, die gedreheten
Arbeiten von Metall damit zu polieren; der Gärbestahl. Auch die Schwertfeger,
Gürtler, Goldschmiede, Orgelbauer u. s. f. haben dergleichen Werkzeuge zum
Polieren, welche zwar eben diesen Nahmen, aber eine verschiedene Gestalt haben.
