Arbeitsgesetzbuch (Arbeitsgesetzbuch, 1980)