The English term "Valhalla, Walhalla" matches the Dutch term "Walhalla"