China bans exports to US of gallium, germanium, antimony | Dark Hacker News