20090621 unknown: What is an electron gun?