Kompakt træ for Hans Christian Ernstsen