Soundtracks of the Holocaust in East and West German Cinema: Jakob der Lügner (1974) and Hitler, ein Film aus Deutschland (1977)