Doctor Faust : a play : based upon old German puppet versions