GIF zu MP4: Animierte Bildgroeße sofort um 90% reduzieren

GIF in MP4 umwandeln und Dateigroeße um bis zu 90% reduzieren.