Das klingt falsch. Es gibt einen DisplayPort-over-USB-C-Anschluss und das ist alles. Er wird auf dem USB als RealTek RTS5411 Hub angezeigt, aber das ist nur das, was DisplayPort aktiviert. Es gibt keinen HDMI-Anschluss. Funktioniert aber gut.