Kompakt træ for Johan Peter Petersen