$datei = $file . ".txt";