This manual has been typeset in TeX and LaTeX using an extensive set of macros provided by H.-M. Adorf.