Motivation für Formalisierung …
Beschränke Zeilenlänge
Inhalt der Vorlesung
Referenzsprache für den ersten Teil