lisp. Hartz , 835 stalp.