gif_animation
  Create a sequence of graphic figures.
  Save each one to a png file.
  Use "convert()" to create a gif animation.

gif_animation
  Normal end of execution.