The death of old Yokohama in the great Japanese earthquake of September 1