I'll post it tomorrow, just as I said in your other thread.
With Mozilla FireFox with a plugin called VideoDownloader you can download these videos.
Then you easily convert the files into mpg with RIVA FLV Encoder.
There has been a few threads about this before.