mining mill from germany