[moogly]

Yeah; gas is big largely in Germany, and even moreso in the Netherlands since they historically had an enormous gas field in Groningen.