Kompakt træ for Jens Torbensen