toen de morgensterren samen vrolijk zongen, en al de kinderen van God juichten?