Høytidsdagene 1. mai og 17. mai er røde dager på kalenderen, men er ikke helligdager.