Hallo Sabine
Ich suche ein Tool, das Gif's von der Große her verkleinern kann ...
Ohne Verluste dürfte das etwas schwierig werden, da GIF-s schon (LZW)-komprimiert sind.
Einziger Weg wäre, die Farbtiefe vom z.B. 256 auf 16 oder 2 zu reduzieren oder aber auf
ein anderes zur Bildkompression besser geeignetes Format (JPEG,PNG) umzusteigen.
Letzteres ist allerdings nur, wenn Du keine tranparente Farbe brauchst.
Zum konvertieren gibts dann sicher irgendein Tool unter Linux (so in der Art gif2png *.gif ./png/ )
aber könner Dir die Experten sicher besser helfen.
MfG