stretcher (in mines) - German English Dictionary