  Every integral current in a locally compact metric space $X$ can be
approximated by a Lipschitz chain with respect to the normal mass, provided
that Lipschitz maps into $X$ can be extended slightly.
