Hallo Jochen,
warum so kompliziert. Dein Video liegt doch wahrscheinlich im avi-Format vor. Die Bildnummern lassen sich auch relativ leicht feststellen und dann in pipp entsprechend extrahieren bzw. sofort in ein gif oder avi verwandeln.
Grüße
Torsten