Budapest Játékfilmstúdió, DEFA