^gy [ 9984 ] J . D. von HOL.