Zusicherungen in Form von  asserts in den Implementierungen 
hinzugefügt