Ich habe mein Problem durch Ändern der Grafikkarte gelöst:
"NVIDIA Quadro 2000" funktioniert ordnungsgemäß
Möglicherweise ist auch die Verwendung eines aktiven DisplayPort-zu-HDMI-Konverters eine mögliche Lösung, aber ich kann diese Lösung momentan nicht ausprobieren.