Kompakt træ for Carl Ernst Erichsen