Número total de trabajadores incluidos en ERTE en julio, por sector de actividad, y % que representan sobre el total de trabajadores en ERTE