Kompakt træ for Hans Christian Kraul