Kompakt træ for Hans Kristian Jensen