Eine Explosionsserie hat gestern ein Gaswerk im US-Bundesstaat Florida erschüttert. Sieben Menschen wurden bei dem Unglück verletzt. 15 Arbeiter galten zuerst als vermisst, sie hatten sich allerdings in Sicherheit bringen können.