Nach GIF konvertieren ist nur sinnvoll wenn es sich um Grafiken mit höchstens 256 Farben handelt, mehr Farben nimmt GIF nicht in die Farbpalette auf.
Die Kovertierung ist z.B. mit dem Freeware-Tool
Irfanview möglich.
Im Programm auf Datei -> Batch-Konvertierung gehen.