Toen de morgensterren te zamen vrolijk zongen, en al de kinderen Gods juichten.
When the morning stars sang together, and all the sons of God shouted for joy?