Kompakt træ for Hans Bugislaus Knudsen