  We study geometric and topological properties of locally compact,
geodesically complete spaces with an upper curvature bound. We control the size
of singular subsets, discuss homotopical and measure-theoretic stratifications
and regularity of the metric structure on a large part.
