Hola de nuevo!
Buscando por la red he encontrado un decodificador de TDT con salida HDMI y que hace muy buenas pintas. Es de la casa SAMSUNG, pero no se si se vende en España o llegará más adelante, pues esta información la he sacado de Samsung Francia. Te paso el enlace para que le eches un vistazo.
www.samsung.com/fr/products/tntadaptator/tntadaptator/dtb_b460fxef.asp
Espero que te sea de ayuda.