leisure time available after finishing one's official work or business duties