Kompakt træ for Peter Mikkelsen Petersen