A gene for DNA invertase and an invertible DNA in Escherichia coli K-12