Rastenberg. Die Badesaison im Rastenberger Waldschwimmbad ist vorbei. Dennoch gibt es Neuigkeiten.