mining division - German English Dictionary