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