Kompakt træ for Jens Hartmann