Kompakt træ for Knud Steen Jacobsen