その炭鉱の名は。