Kompakt træ for Inga Lauritzen