Antwort
Ja, das geht mit einem Trick:
Man muss beim Speicher-Vorgang unter der Zeile des Datei-Namens den Datei-Typen von "GIF-Datei" in "alle Dateien" ändern.