*mp4 nach *mp3 umwandeln

[Frank]

Hallo liste,

mein Sohn hat ca.50 *.mp4 Filme auf einem USB-Stick, die er gerne in
*mp3 auf einer CD hätte um sie nur hören zu können.
Gibt es da eine Möglichkeit die *.mp4 Files (Filme) in *.mp3 zu
konvertieren. Einzeln mit avidemux funktioniert, aber 50 Filme das kann
dauern.

Für Eure Hilfe dankt ein Vater......
-- 
            Schöne Grüße Cooldriver Frank  
              
         UBUNTU LINUX Precise Pangolin 12.04 (LTS)
                   XFCE und Claws Mail
                    Dell Inspiron 6400

           Mögen hätte ich schon wollen,
      aber dürfen habe ich mich nicht getraut.
                  Karl Valentin