Kompakt træ for Hans Christian Grue