Doktor Faust / - Busoni, Ferruccio (De Nederlandse Opera, 1987)