Precondition hinzugefügt