Kompakt træ for Hermann Henning Petersen