Mining community

A mining community, also known as a mining town or a mining camp, is a community that houses miners. Mining communities are usually created around a mine or a quarry.
Historic mining communities.
Germany.
In Germany, a "Bergstadt" refers to a settlement near mineral deposits vested with town privileges, "Bergregal" rights and tax exemption, in order to promote the economic development of the mining region.
Baden-Württemberg
Bavaria
Lower Saxony
North Rhine-Westphalia
Saxony
Saxony-Anhalt
Thuringia
Slovakia/Hungary.
Upper Austrio-Hungarian mining towns
Lower Austrio-Hungarian mining towns