dito ; Joluml , Haagensen , fr. dito ; Walhalla,