define holidays: ch-SO: 2018_03_30 = Karfreitag 2018_05_01 = Tag der Arbeit 2018_05_21 = Pfingstmontag 2018_05_31 = Fronleichnam 2018_08_15 = Mariä Himmelfahrt 2018_09_16 = Eidgenössischer Dank-, Buss- und Bettag 2018_01_11 = Allerheiligen 2018_12_26 = Stephanstag