Danke.. Da scheint es noch ein paar gebrauchte zu geben.
Als Schnelllösung habe ich jetzt mal (vor einigen Tagen) eine Gebrauchte auf ebay gekauft. Mal schauen, wann die kommt und hoffentlich funktioniert.
Und wenn's die nicht mehr gibt? Nach welchem Prinzip sucht und wählt man dann eine andere Ersatzspule?