جلادهندگان فلزات، فرزکاران و تیزکنندگان ابزارها