Yep - the Mastercard exchange rate is based on either making payments in the local currency when abroad, or withdrawing from ATMs in that local currency whilst in that country.
It doesn’t account for withdrawing a foreign currency whilst in a different country. As that’s a fairly niche market, the ATM owners, in this case Raphael, will have their own way of doing a conversion, which is what happened here!