The future of European gas after Groningen