Kompakt træ for Hans Mortensen Knudsen