string TempFileName($tempID)

Liefert den Dateinamen der temporären Datei mit der ID $tempID zurück.