Örn han hade varit lärd , skulle han känt till berättelsen örn doktor Faust.