Ok, good point. I bought the mini-display port to hdmi as well and will check this tomorrow. Too late now here in Germany ;-)
