The Fukui earthquake of June 28, 1948 : report of the Special Committee for the Study of the Fukui Earthquake