dewatering of a mine by hand labor - German English Dictionary