Weimar. Saisonstart: Am 15. Mai um 8 Uhr dürfen sich Weimars Badegäste drei Gratis-Zehnerkarten verdienen