Danke.
Die habe ich schon vor einiger Zeit heruntergeladen, aber das ist nich so wirklich...
Außerdem habe ich den Receiver wieder funktionsfähig gemacht und ihn abgegeben,
damit er Abend wieder TV schauen kann.
Ansonsten kann man ja die Senderliste mit USB sichern und auch wieder einspielen. Nach dem Einrichten sichern und wenn er wieder kaputt gespielt hat, wieder einspielen. Spart dir bestimmt viel Zeit.