Kompakt træ for Inger Hartvigsen