Kompakt træ for Hans Peter Julius Petersen