Ist es nicht so, dass normalerweise die einen am 31.10. und die anderen am 01.11. den Feiertag haben? Ich denke, in 500 Jahren wird im Zuge der Gleichberechtigung der 1.11. als Feiertag einmal aussetzen müssen, dann ist es wieder fair.