Kompakt træ for Hans Peder Andresen Grost