Export Controls on High-End Instruments