Gracias a todos. La verdad es que si el tema no es sencillo, como veo que no es, y dados mis nulos conocimientos de electricidad, creo que la opción incluso mejor que reparar va a ser horno nuevo.
Mas que nada por dos factores:
-La marca es TELEFUNKEN, que ya no existe. Por lo que problemas futuros de reparaciones y piezas seguro, aunque cuando consiga arrancarlo
-Al precio al que está la electricidad, es posible que haya modelos energeticamente mas eficientes y dado que el gasto del horno es elevado puede salirme a cuenta
Aunque bueno, habrá que comparar precios y ver detalladamente.
Hay hornos en Amazon por menos de 200 euros, aunque supongo habrá que sumar la instalación