炭鉱は約にひろがり、うち3分の2がすでに掘り尽くされていた。