Weimar. Am späten Donnerstagnachmittag kamen die sieben Einsatzkräften der Wasserrettungsstaffel der DLRG und drei Feuerwehrleute in Weimar an.