Trade tensions with China: Dutch match US export curbs on semiconductor machines