Kompakt træ for Knud Lauritz Jensen