Ist der 31.10 2015 ein Feiertag?