Kompakt træ for Hans Christensen Gros