<loewis@informatik.hu-berlin.de>. Reorganized to be more like other parts of the documentation in its arrangement, but with few content changes. This closes SourceForge patch #101850.