Kompakt træ for Hans Christian Dinsen