Mining and quarrying in Denmark