I was told I needed to get a “digital health passport” to convert my CDC vaccination card to a fancy QR code that restaurants and public places can scan. This is easy. Pop into any pharmacy, give them your passport, vaccine card, and €36 and they will give you a piece of paper!