Kompakt træ for Inge Mauritzen