I can say similar things from Germany. So it is not a doubling of prices. With meat dishes, it is 15-35% price increase in good restaurants and I think that's right, if the quality fits. And I already say: if you don't increase prices, you save on quality or staff, and that doesn't last long. Many people still look only at the price and are not really intelligent and ask what they get for the price.