The Dutch government is ultimately making the decisions, they could remove all export restrictions if they wanted but that would really sour its relationship with the US gov't.