definition of denver grinding mill