Kompakt træ for Ernst Frederik Bergmann