Ich konnte nun das USB-C Dock testen. Grundsätzlich funktioniert der zweite Monitor. Manchmal muss ich den Stecker aber mehrmals neu reinstecken, ehe der zweite Bildschirm erkannt wird. Scheinbar werden auch nicht alle Auflösungen richtig unterstützt. Das scheint aber ein bekanntes Problem unter Linux zu sein. Ein Lösungsvorschlag ist, die fehlende Auflösung via XrandR zu erzwingen. Muss ich probieren.