Morning
I know what you mean... it just sucks when everyone in your department is in one of those counties where they have 1 November as a Holiday. "Hey, you're there... can you have a look at the mail while we're sleeping in and having a day off?" Meh.
Well - that too ... kinda. The TV program surely is still made and by catholics solely, as nothing 'special' can be recognized on the 31st but on the 1st it's very obvious. This is rather ridiculous.
So I would say: all holidays for everyone! Most people don't take that serious anyway, even those that are still official memebers of the church don't really care that much. So : same rights for all, more lifetime for the people and and end those nonsense rehulations. (Do you have any of those days of now? I remember you saying, that not one of the ma few years ago. And as I heard Berlin also has nothing out of this.)