Kompakt træ for Hans Chr. Knudsen