Interesting addendum
One of the subsequent replies called into question the civil nature of the prosecution, quoting language from the Sherman act that appears to make antitrust actions a felony. Any further info about that? (Is there such a thing as a civil felony rather than a criminal felony?)
"Beware of bugs in the above code; I have only proved it correct, not tried it."
-- Donald Knuth