Kompakt træ for Henning Reinholdt Jensen