Doctor Faustus , made into a farce.