Title: The gold mine, or, The miller of Grenoble