Halt, ich war etwas voreilig! So sollte es gehen:
<?
$datei = $_GET['datei'] . ".txt";
header("Content-type: text/plain");
header("Content-Disposition: attachment; filename=".$datei."");
header("Content-Length: ".filesize($datei));
readfile($datei);
clearstatcache();
?>