Update main.tex

hinzufügen von "Satz"- und "Definition"- Umgebungen