Kompakt træ for Hans Jürgen Grim