[Achtung: Schreibweise von 1811] Der Rohrfeiler, des -s, plur. ut nom. sing. in den Gewehr-Fabriken, ein Arbeiter, welcher die Feuer- oder Gewehrrohre mit der Schlichtfeile polieret, die Schwanzschraube verfertiget und die Haften nebst dem Richtkorne aufsetzet.