Update aufgabe9.tex