Kompakt træ for Carl Hermann Ernst Olsen