Steine und Erden, sonstige Bergbauerzeugnisse