Gasexplosie in Den Haag werd veroorzaakt door scheur in de hoofdgasleiding