Wie sind eure mit den neuen Windows Media Player 12? Ist der schneller geworden oder haben die nur was am Aussehen geändert?