Developments around positive sectional curvature - Karsten Grove (2009)