Kompakt træ for Knud Mølle Jensen