what was the birth name of the libretto for ninon von lenclos ?
ernst stöckhardt