Executive Order Numbered 9193, dated July 6, 1942 (7 F.R. 5205, July 9, 1942), referred to in subsec. (a), is Ex. Ord. No. 9193, July 6, 1942, 7 F.R. 5205, which amended Ex. Ord. No. 9095, formerly set out under section 6 of the former Appendix to Title 50, War and National Defense, which was revoked by Ex. Ord. No. 12553, Feb. 25, 1986, 51 F.R. 7237.