Man-made quakes force Dutch to consider giving up gas extraction