Insurance premium on old Woolloomooloo markets (aka old fishmarkets building) to be paid by lessee,