Kompakt træ for Hans Christian Eriksen