Ist der 3.10 20 ein Feiertag?