Nederlands volkslied – Non nobis, Domine