Men som det nu vore,