Kompakt træ for Hans Jacob Knudsen