@stupsl: wenn es sich um EntertainTV handelt, kenne ich diese Möglichkeit, ob es inzwischen eine elegantere gibt, kann ich nicht sagen:

1. https://mobil.entertaintv.de aufrufen und einloggen
2. auf das Personen-Symbol oben klicken und dort Einstellungen wählen
3. danach Senderverwaltung
4. jetzt siehst Du Deine persönliche Senderliste
5. diese lässt sich dann aus dem Browser heraus drucken:
   
   
   

    

    

   Hilft das weiter?

Gruß Ulrich