Teheran: Rohstoffkonzern Total beendet Gas-Zusammenarbeit mit Iran