The 2025 Edinburgh International Festival takes place between August 1-24 2025.