Well that was fun. Anode wire broke in the cup as I pulled the cup out... I thought I was screwed, but I managed to remove the cable from the cup, the glue was pretty weak with age! Cleaned the clip, removed 1cm of extra insulation and reassembled it. As good as new, I hope.