Do you have any numbers regarding companies that have left Germany because of energy costs?