mens Morgenstjernerne jubled til Hobe, og alle Gudssønner råbte af Glæde?
When the morning stars sang together, and all the sons of God shouted for joy?