Beschwerde an den WDR ist raus.
Im usenet bin ich aber darauf aufmerksam gemacht worden, dass die Sendungen des WDR in der ARD-Gesamtmediathek (noch) abgespielt werden. Mit FF73 unter xubuntu 16.04 erfolgreich ausprobiert.
Das wäre also ein mögliches workaround.
Wochenendgruß vom gollum