Hi,
das, was mir jetzt einfallen würde ist, dass du dir ein PHP-Skript bastelst, das dann im Endeffekt die Datei darstellt. Du rufst dann bspw. die Datei auf mit
download.php?id=1 und in deinem Skript schickst du dann die Datei an den User.
Was du dann noch tun musst ist im Header (also mit der PHP-Funktion) noch den Dateinamen ändern.
Ich weiß jedoch nicht genau, wie diese Header-Information heißt. Musst du mal
gucken.
Chris
[edit]Der Parameter heißt filename. 
[/edit]