Denmark, Norway, Luxembourg, Belgium, the Netherlands, the United Kingdom, France, and Western Germany.