Did you know that Nicholas Nabokov composed an opera Love's Labour's Lost , setting the same play by Shakespeare as the fictional hero of Mann's Doctor Faustus , "in a spirit of the most artificial mockery"?