Auch der WDR hatte seit einiger Zeit eine Menge auf der Seite geändert. Ich habe mich heute mal damit befasst und den Provider wieder funktionstüchtig gemacht. Viel Spaß wünsche ich.

Die aktuelle Version erhaltet ihr auf GitHub