miner’s self rescuer - German English Dictionary