鉱山の街の名前を変更します。