Baumeisterleistungen im Zuge von Instandsetzungsarbeiten im gesamten Gebäude.