Kompakt træ for Ingrid Bergmann