^ phistopheles " , Wilh.