Methanohalophilus mahii DSM 5219, complete sequence.