Ist der 3. Oktober ein Arbeitstag?