歐內格:Le roi David (King David) (Sung in German)