If a good were priced at 15 euros in Germany when the exchange rate between the dollar and the euro went from 1.50 euro/$1.00 to 2.00 euro/$1.00, the price of that good in US dollars would