海蔵寺の紅葉。