Gaspreise am 9. November?