老北京涮羊肉用什么羊（老北京涮羊肉用什么羊肉）