Mikulás a világ körül – különböző elnevezések