What is the release date of this American comedy film directed by Ernst Lubitsch, about a troupe of actors in Nazi-occupied Warsaw, which also has a play based on the same name?