Hallo Andi, danke für den Tipp! Das Handbuch war meine erste Adresse. Ich habe beide Einstellungen bereits versucht (wobei es gemäss Menupunkt USB 3.0 ist und nicht 3.1) und dabei folgendes Ergebnis erhalten:
-USB 3.0 4K 60Hz auf Probook, auf den anderen 4K 30Hz, wie oben beschrieben.
-USB 2.0: 640x480 auf Elitebook, auf den anderen kein Monitor gefunden (per USB C).
Ich vermute der Monitor drosselt die Geschwindigkeit bei 2.0 Modus auch auf dem USB-C Anschluss, was zwar dämlich ist, da es ein Upstream Anschluss ist, aber das Verhalten erklärt.
Was ich nicht verstehe ist, warum das Probook bei gleichen Einstellungen (nämlich USB 3.1 Modus) 60Hz schafft, aber die anderen beiden nicht.
Ergänzung: Die maximale Auflösung die ich mit 60Hz hinkrieg ist beim Macbook und dem Elitebook die gleiche, nämlich 2560x1440.