Klausurrelevante Formeln hinzugefügt