GIF in MP4
Zieh das GIF, tipp auf Shift und leg es auf MP4 ab. Aus der Animation wird ein Video, meist viel kleiner als das GIF, das du auf Instagram posten oder in eine Präsentation einfügen kannst.
So konvertierst du GIF in MP4
- 1
Zieh die GIF-Datei vom Schreibtisch oder aus einem beliebigen Ordner.
- 2
Während du sie noch hältst, tippst du kurz auf Shift. Um die Datei öffnet sich ein Ring aus Planeten, einer für jedes Format, in das sie sich umwandeln lässt.
- 3
Lass die Datei auf dem MP4-Planeten fallen. Kurz darauf liegt die MP4-Kopie neben dem Original.

Warum MP4
Instagram, TikTok und viele Schnittprogramme nehmen keine GIFs an, sondern MP4. Die Videoversion eines GIFs ist außerdem oft 80–90 % kleiner.
Der MP4-Planet erscheint nur bei GIF-Dateien, weil andere Bilder keine Animation haben.
PlanetOS erledigt all das auf deinem Computer. Deine Dateien werden nie hochgeladen, und es funktioniert auch ohne Internetverbindung.
Fragen
Läuft das MP4 in Schleife?
Das MP4 spielt einmal; die meisten sozialen Apps und Player wiederholen kurze Videos von selbst.
Gibt es Ton?
Nein, GIFs haben keinen Ton.