Teheran hatte zuvor Vergeltungsschläge in der Region ausgeführt +++ Trump: Angriffe „zu Ehren“ getöteter Soldaten +++ Revolutionsgarden: Öltanker in der Straße von Hormus gesprengt +++ alle Entwicklungen im Liveblog