JOHN DENNIS HOFMANN