Have bought an additional three Philips 13139 lamps. I have now five in total.
Should keep me going for a while...

I do not know if production of these lamps has stopped, but they were in stock.