When the morning stars made songs together, and all the sons of the gods gave cries of joy?