Just a data point :
I had one vaccine done in the US (CDC card), and the 2nd dose done at my local doctor in Germany (WHO/OMS yellow booklet, with CDC stapled in by my doctor).
Went to the pharmacie and the person issued the two certificates, in and out in 3 minutes.