Rudolstadt. Mit dem Haushaltsbeschluss des Bundestages ist es gewiss: Die Sanierung des Bades wird großzügig gefördert.