JWB 2002/220:Verzekeringsrecht, uitleg van vervangingskostenclausule, toepassing Haviltex-formule