はっ、しまった、５月１３日の九州北部の地震を忘れてた。
あれどうなったんだっけ。