. "Csongor and the Devil’s Sons, Op. 10" . .