Kompakt træ for Knud Johansen Mogensen