Anyone who withdraws cash at an ATM abroad often has the choice of whether the debit should be made in the local currency or in their own currency. Which option is the cheapest?