Spielt das dann nur DIVX ab, oder auch avi, XVID und wie sie alle heißen?

Ich warte ja nur dadrauf, daß meiner kaputtgeht und ich mir so ein Teil holen kann!

Aber wenn man drauf wartet-meiner hält bestimmt noch Jahrzehnte!