Danke für den Tipp. Hatte ich auch schon gemacht. Ich habe dann AnyVideoConverter Pro runtergeladen und ausprobiert, aber kein DivX hinbekommen.
Also ich hab die Möglichkeit, QuickTime composite oder QuickTime movie (.mov) auszugeben, jeweils mit einer ganzen Reihe von Kompressionen (Animation, BMP, Cinepak, Component Video, DV-PAL, Foto-JPG, Grafiken, H.261, H.263, Motion-JPG, MPEG-4, Planar, Sorensen Video, TGA, TIFF, Video). Ich kann auch PC-Programme aus dem Internet benutzen, weil mein neuer Mac Intel ist.