Text this: Arbeitszeitrecht in der DDR