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