BD Richthalle. (Sanierungsarbeiten) Mauerwerkinstandsetzung.