D-Mannitol 1-phosphate dehydrogenase from Escherichia coli.