Kompakt træ for Hans Krogsgaard Graversen