leave() in guard korrigiert