Kleine Notlösung, es gibt verschiedene Filter Manager (z.B. http://www.free-codecs.com/download/RadLight_Filter_Manager.htm ). Mit denen kann man die Priorität des DivX Demux Filters etwas senken, dann sollte sogar der nicht klassische MP keine Probleme mehr haben.
