in what year did gerturde ederle die?