working or exploitation of a mine - German English Dictionary