It’s said to be the biggest annual arts festival in the world. The Edinburgh International Festival in Scotland just wrapped up, hosting hundreds of thousands of visitors, taking in music, theater, dance and comedy performed by artists from more than 50 countries. And despite six months of grueling war with Russia, several acts from Ukraine were also represented. Andrew Connelly reports from Edinburgh.