As we understood it, some time ago the city indicated the reason they were dropping this benefit is that they thought they were violating a state law by offering the insurance coverage to medically retired employees, but apparently the federal magistrate saw it differently.