mills—factories or buildings where grain is ground or where materials are processed or manufactured