Dannelse af CSV fil

Jeg har problemer med at danne en csv-fil.
Eksemplet, som er kopieret fra et andet spørgsmål, virker godt nok, men min kode virker ikke.
Min kode skriver alle navne ud på skærmen.
<?php
//Eksempel
$txt = "1;2;3;4;5;6;7;8;9;10";
$file = "vigtige_tal.csv";
$fsize = strlen($txt);
header("Content-type: application/octet-stream");
header("Content-Disposition: attachment; filename=$file");
header("Content-Length: $fsize");
header("Pragma: no-cache");
header("Expires: 0");
print($txt);
exit;
?>

<?php
//Min kode
include("../include/mysql_con.php");

$txt = "";
$rs1 = mysql_query("select * from adresser order by adresser.medlemsnr") or die( mysql_error() );
while ($row1 = mysql_fetch_array($rs1))
{$txt .= $row1['navn'].";";
}
   
$file = "minfil.csv";
$fsize = strlen($txt);
header("Content-type: application/octet-stream");
header("Content-Disposition: attachment; filename=$file");
//header("Content-Type: application/x-msdownload");
header("Content-Length: $fsize");
header("Pragma: no-cache");
header("Expires: 0");
print($txt);
exit;
?>