The demography of isolated populations. A research note on a German-speaking community in a northern Italian valley between the 18th and 19th century