Published by a German newspaper in this article written by Tor developers: http://daserste.ndr.de/panorama/aktuell/NSA-targets-the-privacy-conscious,nsa230.html
We all knew this already. The US government even runs some Tor servers I'm pretty sure. We've known it isn't a very safe protocol for a while now.