Formate auxotroph of Methanobacterium thermoautotrophicum Marburg