https://www.ifun.de/pdf-squeezer-wenn-pdf-dateien-kleiner-werden-muessen-177962/