Title: Arbeitszeit und arbeitsfreie Zeit in der DDR