"deep mining, civil engineering" Deutsche bedeutung