I have a Samsung DSR9500 VIA CI receiver. This evening the system continually crashed when I tried to access the channels (ZDF ZDFTheater 3SAT etc) on this frequency. All the other free to air channels and TPS channels appear to be fine. Anyone have any ideas what the problem may be?