Manchmal wird man um das Verkleinern einiger Filme, die im AVI-Format vorliegen, nicht herumkommen. Welches Werkzeug Du nun dazu benutzen könntest ist auch davon abhängig, welcher Verwendung das Video