Ich muss einige mp4-Dateien in ein anderes Format konvertieren (ich habe avi gewählt: es kann ein besseres geben, Vorschläge sind willkommen). Ich habe versucht, ffmpeg zu verwenden, habe aber die veraltete Nachricht erhalten, sodass ich avconv verwende, aber es gibt möglicherweise wieder ein...