How the intro of Star Wars "The Empire Strikes Back" was shot