abolish a public holiday in Denmark