Hallo Torsten,
deine Frage bzgl. Interlacing wurde ja schon beantwortet. Daher von mir nur noch eine Anmerkung zu GIF/PNG:
Das GIF-Format unterstützt nur 256 Farben (8 bit), PNG kann deutlich mehr (24 bit?). Wenn du also GIFs in PNGs umwandelst und dich um nichts kümmerst, werden die Bilder (möglicherweise) auf 24 bit Farbtiefe aufgebläht und sind daher auch viel größer als die GIFs. Du musst dich daher immer um die "Anzahl der Farben" kümmern. Bei gleicher Farbtiefe sollten PNGs etwas kleiner sein als GIFs.
Da GIF unf PNG oft bei Zeichnungen oder Diagrammen eingesetzt werden, kann man oft die Farbtiefe reduzieren, ohne das die Bildqualität merklich leidet.
Gruß, Jürgen