Kompakt træ for Hans Graversen