Doktor Faustus (DE, 1982)