dewater a mine or working - German English Dictionary