金融システムの冗長化はどれくらいしているのかな?