Antonstahl ist Ortsteil von Breitenbrunn und liegt in dessen unmittelbarer Nähe. Das Bergdorf Breitenbrunn, liegt im oberen Erzgebirge zwischen Fichtelberg (1.214 m) und Auersberg (1.018 m) an der Grenze zu Tschechien. Breitenbrunn, von ausgedehnten Fichtenwäldern umgeben, weist zwischen Bahnhof und Rabenberg einen Höhenunterschied von 340 m auf. 1380 wurde die Gemeinde erstmals urkundlich erwähnt, von Anfang an wurden in Breitenbrunn Landwirtschaft und Bergbau betrieben. 1413 ein Zinnseifenbetrieb und ein Zinnschmelzwerk werden durch Besitzerwechsel bekannt. 1534 am Lerchenberg neun, am Kegelsberg werden zwei Bergwerke eröffnet. 1559 Beginnt der Bau der St.-Christophorus-Kirche. 1610 wir der Wachturm zum kurfürstlichen Jagdschloss umgebaut. 1893 „Sankt Christoph“; eines der wichtigsten Bergwerke im Ort, wird eröffnet. In.