Kompakt træ for Hans Kristian Knudsen