!! production doctor faustus !!