"digging, mining" Deutsche bedeutung