#industrial crafts

• Sharpening shop — A workshop or specially arranged technical space where the activity of sharpening, grinding, and reconditioning instruments, tools, blades, or industrial cutting implements is carried out.