Who provided the German libretto to the composition by a man whose best known work is "The Threepenny Opera," which proved to be their last major collaboration?