I double-checked the math : 3.5 billion divided by 283,700 people makes 12.337 marks each, and at 3 marlks to the dollar (roughly the rate in the '70s), I get the $4,000. You're right, though. It probably took more to get a political prisoner out than an ordinary person.