Kompakt træ for Jens Benzen