Frage zu Artikel "Exploring Formalisation"