Title: Hours of work in German industry ...