Kompakt træ for Jens Hastrup