Wie verkleinere ich PNG-Dateien?

Gimp ist beim Export als png-Datei ohne Optionen zur Farbtiefe bisher “stumpf-geradeaus”, was sich negativ auf die Dateigröße auswirkt.
Ein guter Lösungsansatz bietet TinyPNG, die bei einem ersten Versuch die Datei auf die Hälfte reduzieren konnte.