Ein Nachtrag:
Bin gerade draufgekommen, warum die ORF-Mediathek nicht funktionierte. Auf der Seite zum Abspielen einer Sendung findet sich rechts unten ein "Einstellungs-Zahnrad". Das habe ich bisher nicht beachtet. Heute habe ich dieses Icon angetippt: Nach Ändern der Einstellungsoptionen von "adaptiv" auf eine der drei verbleibenden (niedrig, hoch, sehr hoch) sind die Sendungen wieder abspielbar.
Es war reiner Zufall, dass ich darauf gekommen bin, denn auf adaptiv habe ich das sicher nie gestellt!
Ende gut, alles gut!
Nach einer Änderungsmöglichkeit der verbleibenden Festplattenspeichergröße (unter PVR-Menüpunkt) zumindest von MB auf GB werde ich weiter suchen.....
Danke und liebe Grüße
Mike8