uranium, enriched 4.2%, at URENCO enrichment plant