Thanks! That's what I thought, too. The only thing that made me wonder, is that the Walhalla bit is taken from a usually very reliable book (Das große Vornamen-Lexikon, Duden), so Ithought there might be something to it.
I'm afraid you are not right when saying that Wal- (Val
-) is only a Norse word. This certainly applies to Walhalla, but the element "wal" appears in the German
word "walstatt" ("battlefield", not in use any more). In Old High German
"wal" meant the very thing, so "walstatt" is kind of tautological. From what I understand the original meaning of "wal" has something to do with death and dead bodies.Andy