Kompakt træ for Peter Jørgensen Mohnsen