Localities - Grube Himmelfahrt, Johanngeorgenstadt, Saxony, Germany