ok; NOW animating gifs happens

using https://wpfanimatedgif.codeplex.com/