What year was the documentary film that was directed by Marcel Ophuls and that featured the German military leader who was the last commander of "Jagdgeschwader" premiered?