German VHS release (VPS 2nd edition); sleeve scan (This perfect widescreen release is unfortunately running just 75 min.! It was taken from the so-called 35 mm "Munich version" that was a cut down from Germany's original cinema version with its – at least – 91 min.) (Image uploaded by Oliver Sodemann)