Industrial rectifying tubes (Philips technical library., 1957)