Petroleum industry in Denmark