The 3 October holiday, set in the Unification Treaty after the 1990 accession of the former GDR, brings a Friday off for most workers.
