The share of Dutch exports in world trade has increased