  A Finsler metric, whose holomorphic curvature is bounded from above by a
negative constant, is constructed on the moduli stack of canonically polarized
manifolds including singularities. Demailly's version of Ahlfors' lemma yields
hyperbolicity of the moduli stack.
