Ah, vielen Dank. Bin da nicht so ganz fit drin. Ich habe jetzt Mediathekview installiert. Damit geht es. Es ist zwar nicht so komfortabel, aber es geht.
Eine Frage noch, da ich es wie gesagt nicht so ganz kapiere: heißt das, dass irgendwann in Zukunft die ZDFMediathek in hbbtv wieder funktionieren wird? Das sie also irgendwann gefixt wird? Ich brauche also nichts weiter machen, nur abwarten?