Re: [vdr] Which HDTV channels available ?