Vielen Dank für dein Vorschlag.
Ja, das scheint in diese Richtung zu gehen. Nachdem ich alle Verbindungen ausgesteckt habe und wieder eingesteckt, funktioniert es wieder. Also, gestern Abend mal.
Ich werde weiter beobachten wie es sich verhält. Eventuell gibt der HDMI–Eingang am TV den Geist auf… :-(