Wat preciezer: eerste maandag van november, behalve als dat op 1 november valt, dan schuift het een week op.