Hohlfeile, die

Die Hohlfeile, plur. die -n, bey den Goldschmieden, eine Feile, hohle oder vertiefte Sachen damit auszufeilen.