The best solution for me was "gifmerge". I tested also the ppmtogifanim
stuff, but I had a little bit problems with the resulting image size.
I just checked his site at www.winternet.com/..(see above) and recognized
that he has a new version available. Maybe a better solution for some of
you.