Električna cev pražnjenja (Elektrotehnika, 1940)