What does amtlicher Feiertag mean?

amtlicher Feiertag - German to English

formal vacation