Okay well this sounds a bit bizarre perhaps.
But i am rendering a small scene write now although i keep resolution high (thats just my habit for detail)
I would in the end like to scale down the png files who make the movie and then convert them into an animated gif.
I wonder if someone has done this before and knows an easy way to do this.
I usually use virtualdub to create an movie mp4 or avi from blenders png files, but it cant make gifs
Since gif files have less colours (but can be dithered), i think this is some different process, and certain ways to achieve this goal might be quicker /better then other ways so maybe someone has some ideas about how to do this.