miners’ pick - German English Dictionary