Genau das habe ich ja gemacht. Es sollte lediglich ein hinweis sein, dass sich beim wdr etwas geändert hat. Und wenn er gerade eh dran rumbastelt, könnte er das in einem machen. Darum dieses "es wäre nett", aber man kann dann halt auch so antworten... Danke trotzdem pixbox.

Vielen Dank für die aktuellen settings. Bei den WDR HD Sendern haben sich die Frequenzen geändert (bei den alten Frequenzen steht nun ein "alt_" vor dem Sendernamen). Wäre nett, wenn das auch noch angepasst werden könnte.