To review, the German release of Star Wars—Krieg Der Sterne—restored the music for a sequence in the trash compactor where Luke is attacked by a dianoga creature.

My question is this: since George Lucas had the said music-cue removed in his English-language sound-mixes, how did this music end up in the German-language sound-mix? It takes work to create a sound mix for a different language—a group of people would have to control the audio levels of the various sound elements—music, sound effects, and dialogue. I am thinking that one of the 2 things may have happen that the said music-cue appeared in that said sequence:

The sound mixers who worked on the German language track either didn’t look at any attached notes to the sound elements that would indicate to mute the said music cue, or no notes were attached.The distributor for the film’s German release requested that the music-cue be used. Since Fox still owned the rights to the film at the time, they would be willing to grant that request.

I am open to any factual explanation.