Gimplyworxs Danke für Deine Antwort.
Bei mir ist Chrome im Einsatz.
Da das Problem ja eh wohl sehr selten eintritt, und ich auch nur ein sehr schwacher PC-ler bin, lasse ich es so, wie es ist.
Da ja jetzt alles wieder OK ist, werde ich dem nächst nur etwas länger warten, ob sich das Problem nicht ...