- Polirfeile
Polirfeile, 1) abgeschliffene u. darauf mit Zinnasche od. Polirroth polirte Feile, mit welcher Metallwaaren polirt u. geglättet werden; 2) Stück Holz, mit Leder od. Filz überzogen, zum Poliren; 3) die Metallfeilen (Compositionsfeilen) sind aus einer besonderen Metalllegirung gemacht, so die englischen aus Messing, Zinn, Wismuth u. Eisen; die schweizer aus Kupfer, Zinn, Zink u. Blei; die Zinkfeilen aus Zink u. Kupfer.
Pierer's Lexicon. 1857–1865.