Sharpening cutting edges, e.g. of tools; Accessories therefor, e.g. for holding the tools of turning or planing tools or tool bits, e.g. gear cutters
Sharpening cutting edges, e.g. of tools; Accessories therefor, e.g. for holding the tools of turning or planing tools or tool bits, e.g. gear cutters