## Hauptteil
Enthält die eigentliche Spezifikation, die mit Hilfe weiterer Abschnitte beliebig
untergegliedert werden kann. Es kann auch mehrere Abschnitte auf oberster Ebene
geben, die dann unterschiedliche @id-Attribute haben müssen.
Definitionen für Elemente werden mit [Element] gekennzeichnet. Von
beliebiger anderer Stelle in der Spezifikation kann dann mittels [Element]
auf diese Definition verwiesen werden.
Angaben innerhalb eines Absatzes mit der Klasse "note" werden in einem grünen
Kasten angezeigt und als informativer Hinweis interpretiert.
Angaben innerhalb eines vorformatierten Absatzes mit der Klasse "example" werden als
Beispiel interpretiert und entsprechend gekennzeichnet.