Compressed pictures

To boost the performance I compressed the pictures down to 80% of its
original size. Compression should not have a visible effect! Used tool:
https://compressor.io