Leisure Activities and Life Satisfaction: an Analysis with German Panel Data