Polizei und DLRG suchten nach dem 17-Jährigen aus Darmstadt.