Frage zur Formatierung eines html-Dokuments durch php