Tu scendi dalle stelle is the only real Italian Carol : http://canzoniitaliane.blogspot.com/2011/11/italian-christmas-song-tu-scendi-dalle.html