“Double insurance arises where the same party is insured with two (or, as is said to be the position in this case, more) insurers in respect of the same interest on the same subject matter against the same risks. It is common ground that, subject to the meaning of the other insurance clause in the…