Much faster (factor of 2-3).
This document was generated by Wolfram Kahl on September, 9 2006 using texi2html 1.76.