ana3: dem coding style anpassen
ana3: coding style strenger machen
ana3: unnötige subsection entfernt
ana3: reference labels mit thm: präfix versehen