Kompakt træ for Jens Lauritsen CHRISTENSEN