Kompakt træ for Christian Friedrich Erichsen