Gut, daß es nun läuft - ich bin irgendwie davon ausgegangen, daß du bereits den aktuellen DivX codec installiert hast und hab mich eh schon gewundert, warum du speziell den Div3 suchst..
Einen Encoder brauchst du nur, wenn du selbst einen Film erstellen möchtest.
Solange du nur Filme abspielst, decodiert die Software nur. Und damit der jeweilige Player weiss, was er tun soll, braucht man eben die codecs dafür - davon gibt es mittlerweile so viele wie Sand am Meer - für Video und Audio..
Eine gute site zu diesem Thema ist
www.doom9.org - auch mit dtsch. Forum.