This document was generated by Verhás Péter on July, 3 2001 using texi2html