Kompakt træ for Friedrich Peter Petersen