Laut Hersteller handelt es sich um einen Mini-HDMI-Port, allerdings passen keine Mini-HDMI-Kabel hinein. Hat da jemand Erfahrung mit?