Changes in Work Hours of Male Employees, 1940–1988