Update: hat sich erledigt. Google-Suche war erfolgreich.
Mein Opera ist so eingestellt, dass der Cache beim Beenden automatisch gelöscht wird. Ich hatte Opera mehrfach neu gestartet und auch den PC neu starten lassen. Das half nicht, daher mein o. g. Posting. Ich fand dann aber einen alten Thread, bei dem empfohlen wurde, den Cache manuell zu löschen und Opera neu zu starten. Dies hat geholfen!
Thema ist für mich also erledigt. Schönen Tag noch!