Diagrammjagdaufgaben und Metatheoremaufgabe