mine manager - German English Dictionary