La mayor parte del libreto final es de Krauss.