Star Wars-Fans können aufatmen: Episode 9 erhält doch Soundtrack von John Williams