My question is the following:

Let M be a simply connected Riemannian manifold whose sectional curvatures
are all nonpositive and let G be a group. Suppose that G acts in M properly discontinuous and
cocompactly by isometries. Is G a CAT(0) group?