Frage zu Artikel "Formal Description Techniques IX"