Title: Working time in West Germany