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