Wer hat den 3. Oktober als Feiertag bestimmt?