Kompakt træ for Hans Christian Grimm