Kompakt træ for Hermann Thomas Jensen