There is a screensaver in fbr format, recorded by BB FlashBack Express .
It supports export to avi, however, the built-in codecs noticeably spoil the quality and increase the size.
At the moment, I found a very strange way of converting to avi with preserving quality and approximately equal file size: first, export from fbr to avi is done without compression, then in Linux using the program Transmageddon, the uncompressed avi-file is recompressed with the h264 codec (no settings are there, everything is done with default parameters).
Actually, questions:
What programs (including codecs) need to be installed on clean Windows 7 with FlashBack Express Recorder installed so that you can get an avi-file of about the same quality without intermediate export to uncompressed avi?
Programs should be free. It is highly desirable that commercial use be permitted.
What settings should I set when exporting from fbr?