Germany has been buying coal from the US for decades.
Coal Exports by Country of Destination, Selected Years, 1960-2011
http://www.eia.gov/totalenergy/data/annual/pdf/sec7_13.pdf
Very interesting, thanks. Note that our coal exports to Germany are the highest they have been since 1967, and nearly doubled last year.