Who helped to give the correct quantization rules for electrons in 1945?