Metric characterization of Berwald spaces of non-positive flag curvature

We show the equivalence of the non-positivity of the flag curvature with the non-positive curvature properties of Busemann and Pedersen for (not necessarily reversible) Berwald manifolds. So an analytical property is characterized by synthetic concepts of non-positively curved metric spaces.