Pince à dénuder automatique, KNIPEX