[jabbadabba]

Solltest du "Adobe Fireworks" haben, geht das damit am besten und leichtesten. Einfach die Bildgröße(Image Size) ändern und es wird auf alle Bildsequenzen der Animation angewendet. Das optimieren der Dateingröße sollte damit auch am besten gehen.