Oh, hatte ich überlesen.
Kann man in den Einstellungen des Receivers den HDMI-Kabeltyp einstellen oder nennen? Vielleicht ist dem Receiver die Datenrate zu gering, schließlich ist das Ding HDMI 2.0-Fähig.
Gibt ja so etwas auch bei Display-Port-Kabeln.
Wäre jetzt noch eine Möglichkeit.