Kompakt træ for Jens Henrichsen