PHP Mysql-Export zu Datei