Polier-Feile, die

Die Polier-Feile, plur. die -n, bey den Schlössern, eine feine Feile, die Arbeiten damit zum eigentlichen Polieren vorzubereiten.