bugfix 'Beispiel zu Regel 2 (Assertions)' in vorlesung01
Merge branch 'vorlesung01'