Ok es ist nach vielem hin- und her probieren gelöst: Einstellungen, Kanäle einstellen, PIN eingeben. Dann in der Liste die Gruppe auf TV ändern, die Sender einzeln auswählen, OK, dann zurück auf den ausgewählten Sender, dann grünen Knopf drücken und ändern (geht nicht? einmal durchscrollen, ist mehr als ein Sender ausgewählt?), alle Sender einstellen die ihr wollt, dann einen Moment warten, es kommt eine Meldung “alles speichern?” und ja antworten. Done :-).