Kompakt træ for Inge Petersen