Gjeruldsen , fr. dito;