mechanical strippers for use with punch presses and metalworking machine tools