Datei Namen in eine Text-Datei schreiben lassen