East German Film and the Holocaust