Kompakt træ for Hans Eriksen