Die Industrien der Steine und Erden - Ahrens, Felix Benjamin (Das Buch der Erfindungen, Gewerbe und Industrien, 1899)