What is the history of the mill?