världen fröjdes Herren »etc.