In animal nutrition, iodine is essential for the production of