Kompakt træ for Hans Christian Knutzen