Ich habe bereits mehrmals die Favoriten neu einrichten müssen. Nach einem Neustart sind die programmierten Sender in den Favoriten teilweise verschwunden! Da nützt auch das “durch die Favoriten zappen” nichts mehr! Noch besser: Im Totalverzeichnis sind auch diverse Sender verschwunden, man kann sie nicht mehr anwählen.