Re: [basex-talk] CPU bottleneck?