This manual is not a technical description. As such it does not include formal definitions but instead refers to other documents containing them. It tries to avoid the excessive use of technical termini except in places where the author considers them necessary.