kolgruvedistrikt
noun
coal mining district