Christmas Day: Celebrations around the world

Christians in countries around the world have been marking Christmas Day.

BBC News looks at how people in places including Indonesia, Vatican City and the Philippines have been celebrating the 25 December holiday.