Kompakt træ for Hans Andreas Grim