Stadt zahlt für Sanierung der Roten Mühle