ページ名の変更

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