Kompakt træ for Hans Anton Knudsen