Rechtschreibung und Zeichensetzung des Originaltextes wurden übernommen
und offensichtliche Druckfehler korrigiert.
Gesperrter Text wurde mit Gleichheitszeichen (=Text=), kursiv gedruckter
Text mit Unterstrichen (-Text_) und fett gedruckter Text mit
Dollarzeichen ($text$) markiert.
Text in kleinerer Schrift wurde durch Einrücken der Absätze um zwei
Zeichen dargestellt.
Liegende Buchstaben wurden als [Buchstabe liegend] dargestellt.
Horizontale geschweifte Klammern wurden entfernt.