Kompakt træ for Jens Hareskov Jensen