Schau mal ins Wiki, da steht ein Hinweis zum PocketDivXEncoder (Freeware) und es funktioniert super.
Bevor von Dir noch andere Fragen, z.B. zu einem Alternativ-Player kommen, suche doch bitte erstmal hier danach, es ist schon häufig thematisiert worden. ;D
