Title: Dictionary of Mining Vol. 1 English­German