I do want to get one other question in.
I'll go to Mr. Calnan.
Obviously China is a big factor in that other question, but, Mr. Calnan, I will go somewhere else.
You also mentioned that in Europe there was a rapid decline in their use of natural gas. Were other energy sources substituted for that, or did they simply go without?