Miniature Electron Tubes Already in War Use