Kompakt træ for Hans Christian Ertzinger