According to the Turbo Tax more information box, "Michigan pensions from these government agencies are eligible for a pension deduction -State of Michigan -Michigan and local governments -Federal civil service." Where/how?