Kompakt træ for Hans Christian Knudsen