SPDIF output to which I could connect my Dolby-Digital decoder. AFAIK the HDMI connector also provids the digital audio, but that would go to the tv set - how would it go to the DD decoder? Klaus