doch, war er. Der Film lief wohl in 2013 bereits auf Arte.
Also war auch die Länge bekannt. Zumal die angegebene Länge mit 75 Min kürzer als die
in den 1980er Jahren ausgestrahlte ZDF-Fassung bzw. die ausländische Kauf_DVD-Fassung ist.
Beide liegen bei etwa 82-85 Min.