Manifolds of nonpositive curvature and their buildings