Električna cev praznjenja (Elektrotehnika, 1940)