Anderer Dateinamen beim Download

[markus]

Wie kann einen Download machen, bei dem die Datei unter einem anderen
Namen abgespeichert wird, als sie im Dateisystem in Wirklichkeit hat.