de i en stad , hwars inwånare till största delen utgjordes af grufarbetare.