The miners (Deutsch, 1976)