Kompakt træ for Otto Bertel Petersen