Kompakt træ for Hans Ferdinand Knudsen