Kompakt træ for Hans Christian Detlefsen