12.7. Ersatzleistung in der Bauwesenversicherung