SurveysInGeometry 1985年8月12日〜16日 - Patrick Eberlein -- Structures of Manifolds of Non-positive curvature