Sluitingsdagen 202321 juli (Nationale feestdag)1 november (Allerheiligen)10 november (personeelsdag)