Gravar-mail: Characterization of plasmids in halobacteria.