A Firefox extension, DownloadHelper, enables the user to download media files found on a web page. The are several other ones out there; search on the Firefox extensions web page.
Since it's on Vienna's ok list and since Linus has kindly uploaded it; just use the link he provided; but be careful to click on the "correct" download button when you get to the actual download page. It's the orange one near the bottom. If there's one in the middle of the page it's an ad.
