Ich würde es wie der Ork machen, bis darauf, dass ich die Zeile
durch folgende ersetzen würde:
Das ist imo sinnvoller, weil ich mir nicht sicher bin, ob man mit file_get_contents() wirklich alle Zeichen bekommt, oder ob unlesbare (also die Ascii-Zeichen bis 30) einfach ignoriert werden...