Kompakt træ for Niels Iver Ingvartsen