Many thanks for all the replies. I thought I had activated the instant notification for this thread and then forgot about my post altogether. After buying yet another useless cable stripper from ebay, I resorted to the wire cutter, which did the job nicely, albeit a bit more slowly.