Nice, i used to get these all the time in my change when visiting the eurozone.
VermilionStudios
I have lots of these from my European trip. These are also used in Germany as well. Whenever you visit the Eurozone, you get multiple coins from different countries. Even as a native German, I can use Portuguese or Spanish coins. I think its cool 😎