原文:红汤牛肉面的红汤是怎么调的?