Schwachfug, bei GIF gibts keine verschiedenen Kompressionsstufen.
...
Ist mir klar, aber man kann auch bei GIFs mit paar Tricks an der Dateigröße schrauben.
Zumal ich in dem Zusammenhang ja auch nicht von Kompressionsstrufen redete, sondern von "umspeichern". Das ist ein kleiner aber feiner Unterschied.