Ethnolinguistic map of Istria based on the 1880 census