Kompakt træ for Knud Lauritsen Ihlen