Mit AWK in eine Datei schreiben