devil that inhabits mines - German English Dictionary