Measurement of mean electron energies in a pulsed ECR plasma using a diamagnetic coil