Kompakt træ for Christian Peter Friedrich Petersen