Zwischenupdate:
Aktiver HDMI Adapter ist eingetroffen und liefert unter Linux (Debian 8.7) ein Bild.
edit:
Auflösungsprobleme behoben, musste per Konsole mit xrandr die Auflösungen für den externen Monitor von Hand eintragen (bzw. als .xconfig ins Home Verzeichnis packen). Jetzt ist spiegeln bei 1600x900 wie auch Doppelmonitor Betrieb mit 1600x900 intern + 1920x1200 extern möglich. Linux funktioniert somit.
Unter Windows funktioniert der Adapter inzwischen eingeschränkt.
edit:
Am 2. Displayport Anschluss der Docking Station wird der aktive Adapter (bzw. der Monitor) zumindest mal erkannt, der 1. DP Anschluss der Docking Station liefert auch weiterhin kein Bild.
Dafür ärgere ich mich jetzt gerade mit Windows 7 herum, das der festen Überzeugung ist, dass mein externer Monitor nur 640x480 kann. Trage ich höhere Auflösungen manuell ein, kann ich den Bildschirm zwar als erweiterten Desktop nutzen, wenn ich aber das Bild auf beide spiegeln will, regelt er mir beide wieder auf 640x480 runter. Willkommen in 2017 ... unfassbar, so etwas.
Ein DP > HDMI Kabel ist zwar bestellt, aber selbst wenn das funktioniert, ist es keine Lösung für Beamer, sondern nur für zu Hause am Monitor. Die Beamer an der Uni haben fest installierte Kabel (VGA, DVI, HDMI - je nach Beamer) und ich brauche eine HDMI Buchse am Notebook, wo ich das Kabel einstecken kann. Zwar bleibt zur Not immer noch der VGA Ausgang der Thinkpads, aber befriedigend ist es nicht wirklich, wenn das Notebook einen DP Ausgang hat, der mit HDMI Adaptern Probleme bereitet.