Local convexity and nonnegative curvature —Gromov's proof of the sphere theorem