DNA targets for the Escherichia coli K restriction system analysed genetically in recombinants between phages Phi80 and lambda