マウントできなくなったHDDはボリュームを消去してつくり直したら無事マウントされ、OSの再インストール→バックアップの復元→常用アプリ・ツールの再インストールまで完了。故障前よりディスクの空き容量が15GBくらい増えているのはまだ再インストールしてい…