Ausgabe in Datei funktioniert