Kompakt træ for Hermann Erichsen