HTML-Datei in PHP und zusätzlich Datei verkleinern?!