industrial mining operations - Allemand Anglais Dictionnaire