Beim Werkvertrag schuldet der Auftragnehmer im Rahmen der getroffenen Vereinbarung ein funktionstaugliches und zweckentsprechendes Werk, das insbesondere eine ausdrücklich vereinbarte Beschaffenheit oder zugesicherte Eigenschaft aufweisen muss . Erreicht die Leistung die vereinbarte Beschaffenheit oder Eigenschaft nicht, ist sie mangelhaft und löst Gewährleistungsansprüche aus, die dem nach § 0 Abs. 0 Nr. 0 Abs. 0 AHB nicht versicherten vertraglichen Erfüllungsbereich zuzuordnen sind . Schuldet der Werkunternehmer die Herstellung eines ganzen Gebäudes, so sind alle weiteren Mängel, die infolge eines Anfangsmangels am Gebäude entstehen, „Weiterfressermängel“ in diesem Sinne, die im Rahmen des Nacherfüllungsanspruchs zu beseitigen sind . Unterfielen die dabei entstehenden Kosten dem Ausschlusstatbestand der „Mängelbeseitigung“, würde dies für den Versicherungsvertrag mit einem Generalunternehmer bedeuten, dass die durch die Mangelnebenkostenklausel bezweckte Erweiterung des Versicherungsschutzes weitgehend leerliefe, weil Schäden regelmäßig nur in dessen Leistungsbereich entstehen . Der Generalunternehmer darf deshalb den Ausschluss in Satz 0 der Klausel Z. [DATE] mit der einschränkenden Formulierung „des Mangels...selbst“ dahingehend verstehen, dass der Versicherungsschutz nicht die Erfüllung zur Beseitigung der von ihm gesetzten Mangelursache umfasst, sich aber auf Mängel erstreckt, die an im Abnahmezeitpunkt als der maßgeblichen Zäsur zwischen Erfüllungsstadium und Gewährleistungsphase mangelfreien Gewerken entstehen. Aus Sicht eines verständigen Versicherungsnehmers, der Generalunternehmer ist, tritt die Zusammenfassung der Gewerke in einem Werkvertrag jedenfalls in den Hintergrund, wenn zwischen diesen Gewerken bei natürlicher Lebensanschauung unter Berücksichtigung der Verkehrsauffassung ein funktionaler Zusammenhang nicht geben ist . 0