Aulhorc Tauchnitz edition .)