Gravar-mail: Nucleotide sequence of ISH11, a new Halobacterium halobium insertion element isolated from the plasmid pGRB1