Halm, Karle, ed. lit.