Stav dette: Arbeitszeitrecht in der DDR