The gas market is liberalized starting with July 1. How the supplier changes