Kompakt træ for Hans Christian Grønvold