Danke.
Dass der VLC-Player flv-Dateien abspielen kann, wusste ich gar nicht. Ich war mir sicher, alle Medienplayer ausprobiert zu haben, die ich auf meiner Festplatte finden konnte. Aber ich hab's gerade ausprobiert, damit kann man auch nicht spulen oder beliebig hin und her springen.
Da drängt sich mir fast der Gedanke auf, dass es vielleicht gar nicht am Player liegt, sondern an den Dateien oder allgemein am Format.