[1256] Die Hohlfeile, plur. die -n, bey den Goldschmieden, eine Feile, hohle oder vertiefte Sachen damit auszufeilen.
Pierer-1857: Hohlfeile