(Some .gif files just do not work properly when saved. This was one of them. Unfortunately, I do not currently know how to fix that problem.)