quarry mining mills in germany