Kompakt træ for Jef Sørensen Petersen