Wenn es mit der Dockingstation nicht funktionieren sollte, geht es möglicherweise, wenn man ein aktives Kabel verwendet.
Hier wird das Signal aktiv von DP nach HDMI umgewandelt.
Delock DisplayPort — HDMI (Typ A) (2 m, HDMI)https://www.delock.de/produkte...Meistens funktioniert's problemlos. Ich würde aber trotzdem noch schauen, ob man auch beide Video-Ports der Dockingstation gleichzeitig benutzen kann. Und wenn's steht, ob der DP-Port DP++ fähig ist (oft steht's nicht explizit im Handbuch). DP++ bedeutet er kann auch ein HDMI Signal ausgeben, wenn ein passiver Adapter angeschlossen wird.