Bad Waldseer Freibad knackt die 100.000-Marke