"mine dump" Deutsche bedeutung