Sharpening cutting edges, e.g. of tools; Accessories therefor, e.g. for holding the tools of milling cutters of face or end milling cutters or cutter heads, e.g. of shank type {end milling cutters with rounded ends}