Tehran’s arms depot struck.