Kompakt træ for Peter Christian Petræus