In case anybody wonders what's the name/code of transformer plugs to buy or order them online:
https://en.wikipedia.org/wiki/IEC_60320#Appliance_couplers