sinux ich hab es exakt so gemacht..
alles markiert (ging genauso wie du es geschrieben hattest),
dann auf "bild" inner leiste und unter "bildgröße" geändert.. ancshließend wieder als .gif abgespeichert...
das bild ist nun kleiner, aber wieder ist die animation weg..