Total to Lay Off 200 Workers in Denmark