Nenneraufnahme/Flacher Modul/Fakt/Beweis/Aufgabe