Polier-Stahl
, 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 Schwertseger, Gürtler, Goldschmiede, Orgelbauer u.s.f. haben dergleichen Werkzeuge zum Polieren, welche zwar eben diesen Nahmen, aber eine verschiedene Gestalt haben.