Kurz
9
Wackelkontakt kann immer auftreten (Stecker halb gezogen, Kabel abgeknickt oder dgl.).
Lösung kam dann ja aber von @Kalibrex (Fragesteller) selber:
Wobei einmal HDMI-Stecker ziehen und wieder (ggf. an einen anderen HDMI-Eingang am TV) stecken, sollte vielleicht auch schon helfen 
Und auch
Vielleicht gehört der Fehler auch übermorgen der Vergangenheit an 