Netherlands industry and its exports.