manually operated hand tools, namely wire strippers