Partizánska Ľupča in the context of "Mining camp"

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.