老北京涮羊肉一共有七种不同种类的羊肉，老北京人就是讲究