uranium, enriched 4.0%, at URENCO enrichment plant