what was the full name of the libretto for mahagonny-songspiel ?
eugen berthold friedrich brecht