The end of the Dutch gas era as the Groningen field closes