Dokumentation Dokumentation mit diversem einführenden und erklärenden Material von Hans Rechenmacher, Martin Mulzer, Sebastian Walter und Hannes Neitzke (Stand: August 2021)