39292 ⎘
Making tools or tool parts, e.g. pliers drilling-tools or other for making or working on holes Dressing, e.g. sharpening rock drills