Kompakt træ for Hans Engelbrecht Petersen