Kompakt træ for Hans Georg Henry Petersen