Gemeinde Jungholz, vermessen im Jahre 1841. - Partsch, Eduard