Email (record): Nucleotide sequence of ISH11, a new Halobacterium halobium insertion element isolated from the plasmid pGRB1