Bensheim: Schwimmer im Badesee vermisst – Suchaktion ohne Ergebnis