num1: section 2.1 überarbeitet
num1: section 2.2 überarbeitet
Möglichkeit zum Kompilieren ohne Beweise