High-Current Pulsed ECR Ion Sources