Vielen Dank für die Hinweise!
Wunderbar, dass da sogar das Sendedatum angegeben ist, und mit dem Mittschnittservice vom ZDF habe ich bisher eigentlich sehr gute Erfahrungen gemacht. Wäre zumindest eine Option...

Es gibt tatsächlich noch eine Menge Filme, die in Vergessenheit geraten und in keiner der gängigen Filmdatenbanken auftauchen, das stelle ich immerwieder fest. Allein schon wenn man mal bei ebay die ganzen DDR-Filmplakate durchgeht. Da sind mitunter rumänische, ungarische, russische und was-weiß-ich für Produktionen dabei, über die auch nirgendwo was geschrieben steht.