( Portugisisk julsång ).