Irma krossade Antraoitkol , lima Gasverkskokes.