${lead}
Ändern Sie die Dateiendung auf ".gif", geben Sie dem GIF einen passenden Namen und wählen Sie den Speicherort. Fahren Sie mit einem Klick auf "Exportieren" fort.