Kompakt træ for Johann Petersen Grün