Sort:  

I created the complete animation with Blender (as mp4-video). For the GIF version, however, I used gimp to combine the individual images from the animation. But this is also possible with blender.

I see. Thanks for the information.