Domestic employment by industry, embodied in total Spanish exports.