How many people in Spain and Gibraltar are Spanish speakers