Kompakt træ for Johan Joachim Petersen