worker who drives a tunnel or gallery - German English Dictionary