China’s July germanium exports surge ahead of restrictions