Wow, das war jetzt aber schnell. Danke!
Für PNG und JPEG nutze ich das hier: https://compressor.io/
Das eignet sich nur leider nicht für GIF, die sind im allgemeinen schwer zu optimieren. Ich verzichte daher oft auf GIF komplett und nutze PNG. Aber vllt. findest du ja einen effizienten Weg.