Brandschutzanlage bei Reparatur ausgelöst: Wasserschaden versichert?