Tapered diamond sharpening file. Double sided, flat one side (400 grit) and curved on the other (240 grit) with cushion grip handle. Length 250mm approx.
eBay