provinsen Shansi i norra Kina.