Ich wurde von digitec auf diese Frage aufmerksam gemacht.
Kann leider nicht helfen, da wir die Ersatzlampe als Ersatz gekauft haben, damit wir
bei einem Ausfall schnell einen Ersatz haben. Die Neue funktioniert noch tadellos.

Ich schlage vor eine Neue zu kaufen.