Ich konnte zwischenzeitlich anhand einer alten Fernsehzeitschrift klären, dass es sich bei der Erstsendung 1979 um eine Ausstrahlung im Original mit deutschen Untertiteln handelte.

Der Film läuft übrigens nebenbei erwähnt in der Nacht auf Freitag im WDR um 0.55 Uhr.