[Achtung: Schreibweise von 1811] Der 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 Schwertfeger, Gürtler, Goldschmiede, Orgelbauer u.s.f. haben dergleichen Werkzeuge zum Polieren, welch...