It turns out that it was the cord which had failed. I found an OEM part from a place in New York after I was given the part number by our local dealer for just another obsolete part.
The arrows indicate the new cord location. Routed under the brake lines. It took quite a while to get the factory clamps loose and ended up needing a thin wrench due to one spinning but all in all it went ok.