Kompakt træ for Hans Christian Holm Petersen