meaning of amtlicher Feiertag

amtlicher Feiertag - German to English

formal vacation