Verkaufsstopp für Mini-Displayport-HDMI-Kabel?