Olsen , fr. dito ; Havfruen , Johnsen , fr. dito.