Kompakt træ for Hans Christian Krabbe