Das hatte ich auch schon gefunden.

Ich hatte gehofft, es gäbe irgendeinen in Europa gbeäruchlichen Ersatztyp, den ich beim Co****ad um die Ecke gleich mitnehmen kann.

Bestellen ist natürlich die Alternative. Stellt sich die Frage ob der hohe Preis für LEDs sich wirklich lohnt.