Gasprijzen ruim 11% hoger door lek in een onderzeese pijpleiding