Filming ‘the empire strikes back’ credits roll