Do Telefunken still make TV's?, as far as I'm aware they ceased many years ago - so presumably it's just a cheap import with a badge stuck on it. If you can identify the actual set, you 'may' be able to source a replacement via that route?.
First off, does it have a country of manufacture on the back?.
digikey
This link will show you 8 devices in stock at DigiKey.com.
I searched for 600 to 680V 90-120J devices that have a lead spacing of 10 or 12 mm. You want 10 but the 12 will work with some effort.
I am not 100% on these. It shows how to use a search engine. digikey-42
This link shows parts that are not in stock but are of that type.