Kompakt træ for Hans Rasmus Astrup