Schlagwort: die Gertrude Ederle heisst.