Indonesia, Jawa Tengah, Purwokerto, Miscellaneous Government Records (FamilySearch Historical Records)