Kompakt træ for Gretje Petersen