Trotz großangelegter Suchaktion mit Rettungstauchern und Hubschraubern wurde der Schwimmer nicht rechtzeitig gefunden.