The Actual Filming of the Empire Strikes Back Opening Credits