Text this: Das Arbeitsschutzrecht in der Deutschen Demokratischen Republik