Ja es gibt eine ausdruckbare Senderliste, unter der Startseite ist diese nach der Auswahl des Anbieters, Landes und Modells hier zu finden:
Hier noch ein Beispiel für die Senderliste (Stand 29.01.2019):
