La popolazione di Pola nel 1880: resoconto desunto dal censimento generale della popolazione secondo lo stato del 31 dicembre 1880