====== mpeg Datei erstellen ======

Frames müssen fortlaufend nummeriert als ''png'' vorliegen.

''gifs'' gehen nicht, können aber mit ''gif2pnmall'' aus //~/uses// konvertiert werden.

Dann mit ''gimp'' als ''mpeg1'' unter ''video komprimieren'' erzeugen.

Hierzu muss ''mpeg-encode1.5'' installiert sein.