- Rohrfeiler, der
Der Rohrfeiler, des -s, plur. ut nom. sing. in den Gewehrfabriken, ein Arbeiter, welcher die Feuer- oder Gewehrrohre mit der Schlichtfeile polieret, die Schwanzschraube verfertiget und die Haften nebst dem Richtkorne aufsetzet.
http://www.zeno.org/Adelung-1793. 1793–1801.
