Several European countries spend less time working and more time on leisure activities than the United States. How is this greater leisure time accounted for in gross domestic product measurements?