Efficient gravel extraction for industry in Leopoldshafen