Sollte man noch gif verwenden?

[Martin]

Einzig animierte pngs gibt es nicht.

Gibt es.
Heißt aber MNG/JNG
... und der Mozilla zeigt es an

Technisches über PNG kann man hier nachlesen

http://www.libpng.org/pub/png/pngpic2.html

Viel Spaß,
Martin