Gravar-mail: A 12-base-pair sequence is an essential element of the ribosomal gene terminator in Xenopus laevis.