Here’s the King’s Theatre in Edinburgh, one of the key venues for the Edinburgh International Festival, currently underway in the city. The King’s dates from 1906 and originally featured a projection box for showing movies, located at the rear of the Gran