Thermococcus litoralis DSM 5473, complete sequence.