How does the pump know to charge you dollars instead of euros?